$\forall$${\it ra}$, ${\it rt}$:(Id$\rightarrow$Id), $k$:Knd. kind{-}rename(${\it ra}$;${\it rt}$;$k$) $\in$ Knd